#include <kernel.h>

void
LD_SYM(dde_kit_panic)(const char *fmt, ...)
{
	 va_list ap;
	 va_start(ap, fmt);
	 ekf_vkprintf(fmt, ap);
	 ekf_kprintf("\n");
	 va_end(ap);
panic_dead:
	 while (1) { }

}

void
LD_SYM(dde_kit_debug)(const char *fmt, ...)
{
	 va_list ap;
	 va_start(ap, fmt);
	 ekf_vkprintf(fmt, ap);
	 ekf_kprintf("\n");
	 va_end(ap);
}

#if DK_EXPORT_SYM

void
dde_kit_panic_symbol(void)
{
	 elf_mod_export_symbol("dde_kit_panic", &dde_kit_panic, 1);
	 elf_mod_export_symbol("dde_kit_debug", &dde_kit_debug, 1);
}

#endif
